COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub" source
C00003 ENDMK
C⊗;
.require "let.pub" source
∂AIL Professor Raymond Reiter↓Department of Computer Science
↓University of British Columbia
↓Vancouver, B.C.↓CANADA∞

Dear Ray:

	Enclosed is a copy of my %2AI Journal%1 paper on circumscription.
You will note that the formalism is considerably changed from the
earlier version in that I now minimize the extensions of predicates
rather than the set of elements in the domain.  The older form comes
out as a special case.  This makes circumscription close to your work
and the Doyle-McDermott work, but as the additional note shows, there remain
important differences.

.reg